Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
871	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.ma.imperial.ac.uk Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
872	Microsoft Word - FormalismAndIntuition.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:53:32 Abstraction Formal sciences Philosophy of mathematics Reasoning Systems Reason Complexity Formal methods Logic Science Knowledge Ethology
873	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.dcc.fc.up.pt Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
874	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Trusted Systems and Software, Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:52:26 Software engineering Common Criteria Science Knowledge ISO standards Methodology Software development process
875	Goanna — A Static Model Checker Ansgar Fehnker1 , Ralf Huuck1 , Patrick Jayet2? , Michel Lussenburg2∗ , and Felix Rauch1 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-26 05:56:22 Theoretical computer science Formal methods Applied mathematics Program analysis Model checking Formal verification Static program analysis Abstract interpretation Red Lizard Software Model checkers Software NuSMV
876	Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name : Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-26 09:37:27 Scientific modelling Formal methods Science Knowledge Ethology Model checking RWTH Aachen University Computer Aided Verification
877	Ontology-Driven Information Extraction and Knowledge Acquisition from Heterogeneous, Distributed, Autonomous Biological Data Sources Vasant Honavar, Carson Andorf, Doina Caragea, Adrian Silvescu, Jaime Reinoso-Castillo, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2002-01-10 17:53:43 Formal sciences Data analysis Semantic Web Ontology Data mining Data visualization Biological database Machine learning Vasant Honavar Science Knowledge Bioinformatics
878	Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Alloy Analyzer Massachusetts Institute of Technology Recreational mathematics Alloy N1 road N postcode area Sudoku Boolean satisfiability problem Theoretical computer science Mathematics Formal methods
879	Microsoft PowerPoint - Hogistics Add to Reading List Source URL: www.fbssystems.com Language: English - Date: 2014-08-27 23:09:26 Formal sciences Knowledge Ethology Insurance Predictive analytics Discrete event simulation Simulation Computer simulation Analytics Science Business intelligence Scientific modeling
880	15th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:47:20 Systems Systems science Nature Formal sciences Systems theory Engineering cybernetics Cybernetics Science Control theory

UPDATE